(0 18 16)(1 19 4)(2 7 5)(3 20 12)(6 14 8)(9 15 10)(11 17 13)
ALLOWS (11/8)-SEQUENCE
1: (12 17 20)

(0 18 16)(1 19 4)(2 7 5)(3 20 13 11 17)(6 14 8)(9 15 10)(12)
2: (3 11 17)

(0 18 16)(1 19 4)(2 7 5)(3)(6 14 8)(9 15 10)(11 20 13)(12)(17)
3: (0 18 16)

(0)(1 19 4)(2 7 5)(3)(6 14 8)(9 15 10)(11 20 13)(12)(16)(17)(18)
4: (11 20 13)

(0)(1 19 4)(2 7 5)(3)(6 14 8)(9 15 10)(11)(12)(13)(16)(17)(18)(20)